!(<1,2>X(a and b) and <1,2>Xc)